De Bruijn - PDFSEARCH.IO - Document Search Engine

De Bruijn
Results: 153

#	Item
111	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
112	Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Symbol Lambda calculus De Bruijn index Curry–Howard correspondence Orbifold Mathematics Computer science Theoretical computer science
113	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
114	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
115	TOP 50 CANADIAN TAG TIMES 15 WORLD, 38 OLYMPIC RECORDS NUMBER 261 Add to Reading List Source URL: www.swimnews.com Language: English - Date: 2009-03-13 00:18:14 Ian Thorpe Michael Klim Amy Van Dyken Anthony Ervin Ashley Callus Jenny Thompson Dara Torres Michael Phelps Swimming Pieter van den Hoogenband Inge de Bruijn
116	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
117	De Bruijn Graph assembly Ben Langmead You are free to use these slides. If you do, please sign the guestbook (www.langmead-lab.org/teaching-materials), or email me ([removed]) and tell me briefly how you’r Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2014-01-28 16:00:23 Directed graph De Bruijn Vertex Graph Bruijn Multigraph Graph theory Eulerian path Degree
118	Space-efficient and exact de Bruijn graph representation based on a Bloom filter Rayan Chikhi1 and Guillaume Rizk2 1 Computer Science department, ENS Cachan/IRISA, 35042 Rennes, France Add to Reading List Source URL: minia.genouest.org Language: English - Date: 2012-10-09 11:54:51 Bit array Connectivity De Bruijn graph Depth-first search De Bruijn Velvet assembler Koorde Graph theory Hashing Bloom filter
119	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Trusted computing Cryptography Hashing Monolithic kernels Next-Generation Secure Computing Base Trusted Platform Module Procfs Kernel Hash table Computer architecture Computing Computer security
120	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science